Formal proof - PDFSEARCH.IO - Document Search Engine

Formal proof
Results: 365

#	Item
51	The Why3 platform Version 0.82, December 2013 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2013-12-12 05:50:31 Proof assistants Formal methods Logic in computer science Alt-Ergo Frama-C Theoretical computer science Coq Formal verification KeY IP
52	Applied Foundations: Proof Mining in Mathematics Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:06 Logic Proof theory Mathematical logic Mathematics Proof mining Mathematical proof Consistency Constructive proof Formal proof Intuitionistic logic Approximation Type theory
53	Cody & Waite Flocq Coq.Interval Gappa Conclusion Formal Proof of Cody & Waite’s Exponential Guillaume Melquiond Inria Saclay–ˆIle-de-France & LRI, Universit´ e Paris Sud, CNRS Add to Reading List Source URL: fastrelax.gforge.inria.fr Language: English - Date: 2015-05-28 13:07:51
54	PROOFS AND TYPES JEAN-YVES GIRARD Translated and with appendices by PAUL TAYLOR Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2003-08-12 05:11:28 Logic Mathematical logic Theoretical computer science Proof theory Logic in computer science Models of computation Formal methods Metalogic Denotational semantics Linear logic Natural deduction Cut-elimination theorem
55	The Why3 platform Version, May 2016 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2016-05-27 08:19:42 Software Computer programming Proof assistants Functional languages Theoretical computer science Formal methods Logic in computer science Frama-C SPARK Coq Isabelle OCaml
56	A Computer-Algebra-Based Formal Proof of the Irrationality of ζ (3) Frédéric Chyzak Joint work with A. Mahboubi, T. Sibut-Pinote, and E. Tassi May 27, 2014 Add to Reading List Source URL: perso.crans.org Language: English - Date: 2014-06-17 06:14:56
57	Prof. Dr. Ulrich Kohlenbach Curriculum Vitae Ulrich Wilhelm Kohlenbach CURRENT AFFILIATION: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2016-05-30 12:23:35 Formal sciences Metalogic Proof theory Philosophers of mathematics Mathematical logic Proof mining Logic Foundations of mathematics Workshop on Logic Language Information and Computation Mathematics Type theory Model theory
58	Epistemology Mathematicized “On [the] traditional view of the subject, the phrase ‘formal logic’ is pleonasm and ‘informal logic’ oxymoron.” John Burgess Add to Reading List Source URL: www.johnwoods.ca Language: English Philosophy Academia Epistemology Philosophy of science Critical thinking Statistical inference Logic Theory Philosophy of mathematics Formal epistemology Bayesian probability Mathematical proof
59	Formal proof sketches Freek Wiedijk University of Nijmegen Abstract. We define the notion of formal proof sketch for the mathematical language Mizar. We show by examples that formal proof sketches are very close to infor Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-01-15 09:13:26
60	Recent Developments in ΩMEGA’s Proof Search Programming Language Serge Autexier Dominik Dietrich Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-03 11:10:40 Logic Proof theory Formal systems Logical truth Syntax Proof assistants Mathematical proof Logic programming Sequent KeY Rule of inference Inference